Mathematical software - PDFSEARCH.IO - Document Search Engine

Mathematical software
Results: 3985

#	Item
171	COMP 621 Suggested Special Topic Lectures - Fall 2015 Due Dates: • Signup by Oct 14th, • Oct 19, 1 presentation • Oct 21, 1 presentation • Oct 26, 1 presentation Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2015-10-06 12:38:11 Computer algebra systems Linear algebra MATLAB Mathematical software Parallel computing Temporal information retrieval
172	Levy & Wilensky, 2005 An analysis of student’ patterns of exploration with NetLogo models embedded in the Connected Chemistry environment Sharona T. Levy & Uri Wilensky Add to Reading List Source URL: ccl.northwestern.edu Language: English - Date: 2005-05-17 14:06:23 Systems theory Educational psychology Java platform NetLogo Simulation software Learning Gas Perceptual learning Self-organization Mathematical model Scientific modelling Agent-based model
173	UNDERSTANDING WHAT YOU ARE DOING: A NEW ANGLE ON CAS?* JEN BRADLEY, MARIAN KEMP AND BARRY KISSANE Powerful Computer Algebra Systems (CAS) are often used only with reluctance in early undergraduate mathematics teaching, p Add to Reading List Source URL: wwwstaff.murdoch.edu.au Language: English - Date: 2004-01-06 01:10:10 Programmable calculators Graphing calculators Office equipment Computer algebra systems Mathematical notation Calculator TI-89 series Software calculator Algebra Elementary algebra Equation TI-Nspire series
174	TECHNOLOGY AND THE CURRICULUM: THE CASE OF THE GRAPHICS CALCULATOR Barry Kissane Australian Institute of Education Murdoch University <> Add to Reading List Source URL: wwwstaff.murdoch.edu.au Language: English - Date: 2000-12-15 17:45:04 Mathematics education Office equipment Programmable calculators Education reform Mathematical notation Graphing calculator Calculator Software calculator Scientific calculator National Council of Teachers of Mathematics Curriculum Math wars
175	An Integrated Approach to High Integrity Software Verification Andrew Ireland1 , Bill J. Ellis1 , Andrew Cook1 , Roderick Chapman2 , Janet Barnes2 1 Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2006-05-16 11:38:59 Formal methods Automated theorem proving Theoretical computer science Logic in computer science SPARK Loop invariant Mathematical proof Automated reasoning Verification condition generator Formal verification Correctness Conjecture
176	THE IMPORTANCE OF BEING ACCESSIBLE: THE GRAPHICS CALCULATOR IN MATHEMATICS EDUCATION* Barry Kissane Murdoch University Murdoch, Western Australia, 6150 Add to Reading List Source URL: wwwstaff.murdoch.edu.au Language: English - Date: 2001-10-26 02:25:50 Graphing calculators Programmable calculators Office equipment Mathematical notation Computer algebra systems Software calculator Calculator Scientific calculator TI-92 series HP 38G TI-82 TI-89 series
177	Mathematical Ecology Joachim Hermisson, Claus Rueffler & Meike Wittmann∗ October 27, 2015 Literature and Software • Sarah P. Otto, Troy Day: A Biologist’s Guide to Mathematical Modeling in Ecology Add to Reading List Source URL: www.mabs.at Language: English - Date: 2015-10-28 05:41:55 Population ecology Mathematical and theoretical biology Demography Ecology Fisheries science Theoretical ecology Recurrence relation Mathematical model Kolmogorov equations Dynamical system Population dynamics Logistic function
178	JuliaOpt Optimization packages in Julia Iain Dunning Operations Research Center MIT Add to Reading List Source URL: iaindunning.com Language: English - Date: 2015-08-12 01:24:20 Mathematical optimization Numerical software Mathematical modeling Operations research Convex optimization AMPL Conic optimization SCIP Nl Julia TOMLAB LINGO
179	Computer Methods and Programs in Biomedicine– 236 www.elsevier.com/locate/cmpb Software design for analysis of multichannel intracardial and body surface electrocardiograms Mark Potse a,, Andre´ C. Linn Add to Reading List Source URL: www.potse.nl Language: English* - Date: 2002-08-28 05:51:18 Computer programming Software Visual programming languages Mathematical software Cross-platform software Software documentation Literate programming Documentation generator Wolfram Mathematica Event Computing User interface
180	Lab Exercise: The rejection method of generating samples GEOS 627: Inverse Problems and Parameter Estimation, Carl Tape Last compiled: February 5, 2015 Overview • The purpose of this exercise is to understand one parti Add to Reading List Source URL: www.giseis.alaska.edu Language: English - Date: 2015-02-05 15:25:16 Monte Carlo methods Non-uniform random numbers Linear algebra MATLAB Mathematical software Rejection sampling Limit of a function

UPDATE